def extract[C]: W[C] => C